<html>
<head><meta charset="utf-8"><title>Closing bors tree · clippy · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/257328-clippy/index.html">clippy</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/257328-clippy/topic/Closing.20bors.20tree.html">Closing bors tree</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="247447807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/257328-clippy/topic/Closing%20bors%20tree/near/247447807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> flip1995 <a href="https://rust-lang.github.io/zulip_archive/stream/257328-clippy/topic/Closing.20bors.20tree.html#247447807">(Jul 28 2021 at 11:39)</a>:</h4>
<p>I'm closing the tree for the next 2-3 hours to make the move to the new metadata collection. This can take anything between half an hour to ???. Let's hope it goes well :)</p>



<a name="247459688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/257328-clippy/topic/Closing%20bors%20tree/near/247459688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> flip1995 <a href="https://rust-lang.github.io/zulip_archive/stream/257328-clippy/topic/Closing.20bors.20tree.html#247459688">(Jul 28 2021 at 13:38)</a>:</h4>
<p>Everything worked out! The new website style is up. Two python scripts got deleted #RIIReverything <span aria-label="crab" class="emoji emoji-1f980" role="img" title="crab">:crab:</span> <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span> </p>
<p>Thanks for all the work put into this <span class="user-mention" data-user-id="369415">@xFrednet</span>. </p>
<p>Take a look at the new website: <a href="https://rust-lang.github.io/rust-clippy/master/index.html">https://rust-lang.github.io/rust-clippy/master/index.html</a></p>
<p>Beta will get the new website tomorrow, the stable documentation in 6 weeks.</p>



<a name="247462059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/257328-clippy/topic/Closing%20bors%20tree/near/247462059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> flip1995 <a href="https://rust-lang.github.io/zulip_archive/stream/257328-clippy/topic/Closing.20bors.20tree.html#247462059">(Jul 28 2021 at 13:57)</a>:</h4>
<p>(Tree is open again btw)</p>
<p>Oh and <span class="user-group-mention" data-user-group-id="3456">@T-clippy</span> when you review PRs, that add new lints, make sure that the lint declaration now uses the heading style for the doc:</p>
<div class="codehilite"><pre><span></span><code>### What it does
</code></pre></div>



<a name="247574134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/257328-clippy/topic/Closing%20bors%20tree/near/247574134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> flip1995 <a href="https://rust-lang.github.io/zulip_archive/stream/257328-clippy/topic/Closing.20bors.20tree.html#247574134">(Jul 29 2021 at 12:07)</a>:</h4>
<p>Argh, I had a brain fart. In order to get the metadata collector move into beta I would have need to do the move 2 weeks ago. Now I have to manually patch the deployments of beta and stable for 2 release cycles... <span aria-label="rolling eyes" class="emoji emoji-1f644" role="img" title="rolling eyes">:rolling_eyes:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>